UPN: l\. Petri Net Based Graphical Representation for Company Policy Specifications in CIM
نویسندگان
چکیده
A graphical representation schema Updated Petri Nets (UPN) has been developed to model rule based company policy specifications, in the context of computer integrated manufacturing systems. UPN facilitates the modeling of relationships between operations of various related application systems and the database updates and retrievals among all the CIM databases. Based on this representation, a hierarchical modeling technique which includes refining and aggregating rules has also been developed. Application of the UPN is demonstrated in desinging rule based systems for controlling and integrating the information between manufacturing applications, including Computer Aided Design, Computer Aided Process Planning, Manufacturing Resources Planning, and Shop Floor Control.
منابع مشابه
Implementation of Rule Based Specifications for CIM Database Applications
This paper focuses on the development of a methodology within a software environment for automating the rule based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a naturallanguage and subsequently represented in terms of a graphical representation by the system designer. A new graphical representation tool is base...
متن کاملHierarchical Model of a Systolic Array for Solving Differential Equations Implemented as an Upgraded Petri Net
The objective of this paper is to develop a hierarchical model of a systolic array which solves differential equations by using Upgraded Petri Net (UPN). The Upgraded Petri Net presents a formal modeling tool, based on mathematical apparatus, used for simulation and analysis of processes, particularly at the register transfer level. Original software for modeling and simulations of Upgraded Pet...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملHierarchical Algebraic Nets
This paper presents a specifications formalism, Hierarchical Algebraic Nets (HAN), which allows the specification and design of heterogeneous concurrent distributed systems using hierarchical descriptions based on algebraic specifications and Petri nets. A simple example is firstly given in order to present the graphical representation associated to HAN, then the abstract syntax and formal sema...
متن کاملA Simulation Model of a Human as a Material Handling Task Performer with a Colored Petri Net Model
In this paper, a framework for a simulation approach to develop a formal representation of control and analysis of human-involved computer integrated manufacturing systems (Hi-CIM) is presented. Important properties of a human material handler within manufacturing systems are discussed and human tasks and errors are identified to build a simulation model. Based on the number of locations where ...
متن کامل